Feasibility report: Delivering case-study based learning using artificial intelligence and gaming technologies

This document describes an investigation into the technical feasibility of a game to support learning based on case studies. Information systems students using the game will conduct fact-finding interviews with virtual characters. We survey relevant technologies in computational linguistics and games. We assess the applicability of the various approaches and propose an architecture for the game based on existing techniques. We propose a phased development plan for the development of the game

Rediscovery of the Florida Scorpionfly, Panorpa floridana Byers (Mecoptera: Panorpidae)

We describe the rediscovery of the Florida scorpionfly, Panorpa floridana Byers (Mecoptera: Panorpidae), at Gold Head Branch State Park, Clay County, Florida, based upon a single, living, adult specimen photographed on 4 November 2010. The hardcopy photographic prints and electronic digital images of this panorpid are the first vouchers for P. floridana in 28 years, the only observation of a living specimen, and the sixth individual known of this seemingly rare Florida endemic

Deductive synthesis of recursive plans in linear logic

Centre for Intelligent Systems and their ApplicationsConventionally, the problem of plan formation in Artificial Intelligence deals with the generation of plans in the form of a sequence of actions. This thesis describes an approach to extending the expressiveness of plans to include conditional branches and recursion. This allows problems to be solved at a higher level, such that a single plan in such a language is capable of solving a class of problems rather than a single problem instance. A plan of fixed size may solve arbitrarily large problem instances. To form such plans, we take a deductive planning approach, in which the formation of the plan goes hand-in-hand with the construction of the proof that the plan specification is realisable. The formalism used here for specifying and reasoning with planning problems is Girard's Institutionistic Linear Logic (ILL), which is attractive for planning problems because state change can be expressed directly as linear implication, with no need for frame axioms. We extract plans by means of the relationship between proofs in ILL and programs in the style of Abramsky. We extend the ILL proof rules to account for induction over inductively defined types, thereby allowing recursive plans to be synthesised. We also adapt Abramsky's framework to partially evaluate and execute the plans in the extended language. We give a proof search algorithm tailored towards the fragment of the ILL employed (excluding induction rule selection). A system implementation, Lino, comprises modules for proof checking, automated proof search, plan extraction and partial evaluation of plans. We demonstrate the encodings and solutions in our framework of various planning domains involving recursion. We compare the capabilities of our approach with the previous approaches of Manna and Waldinger, Ghassem-Sani and Steel, and Stephen and Biundo. We claim that our approach gives a good balance between coverage of problems that can be described and the tractability of proof search

Fertility control as a means of controlling bovine tuberculosis in badger (Meles meles) populations in south-west England: predictions from a spatial stochastic simulation model

A spatial stochastic simulation model was used to assess the potential of fertility control, based on a yet-to-be-developed oral bait-delivered contraceptive directed at females, for the control of bovine tuberculosis in badger populations in south-west England. The contraceptive had a lifelong effect so that females rendered sterile in any particular year remained so for the rest of their lives. The efficacy of fertility control alone repeated annually for varying periods of time was compared with a single culling operation and integrated control involving an initial single cull followed by annually repeated fertility control. With fertility control alone, in no instance was the disease eradicated completely while a viable badger population (mean group size of at least one individual) was still maintained. Near eradication of the disease (less than 1% prevalence) combined with the survival of a minimum viable badger population was only achieved under a very limited set of conditions, either with high efficiency of control (95%) over a short time period (1-3 years) or a low efficiency of control (20%) over an intermediate time period (10-20 years). Under these conditions, it took more than 20 years for the disease to decline to such low levels. A single cull of 80% efficiency succeeded in near eradication of the disease (below 1% prevalence) after a period of 6-8 years, while still maintaining a viable badger population. Integrated strategies reduced disease prevalence more rapidly and to lower levels than culling alone, although the mean badger group size following the onset of control was smaller. Under certain integrated strategies, principally where a high initial cull (80%) was followed by fertility control over a short (1-3 year) time period, the disease could be completely eradicated while a viable badger population was maintained. However, even under the most favourable conditions of integrated control, it took on average more than 12 years following the onset of control for the disease to disappear completely from the badger population. These results show that whilst fertility control would not be a successful strategy for the control of bovine tuberculosis in badgers if used alone, it could be effective if used with culling as part of an integrated strategy. This type of integrated strategy is likely to be more effective in terms of disease eradication than a strategy employing culling alone. However, the high cost of developing a suitable fertility control agent, combined with the welfare and conservation implications, are significant factors which should be taken into account when considering its possible use as a means of controlling bovine tuberculosis in badger populations in the UK

Optimising ePrescribing in hospitals through the interoperability of systems and processes:a qualitative study in the UK, US, Norway and the Netherlands

Abstract Background Investment in the implementation of hospital ePrescribing systems has been a priority in many economically-developed countries in order to modernise the delivery of healthcare. However, maximum gains in the safety, quality and efficiency of care are unlikely to be fully realised unless ePrescribing systems are further optimised in a local context. Typical barriers to optimal use are often encountered in relation to a lack of systemic capacity and preparedness to meet various levels of interoperability requirements, including at the data, systems and services levels. This lack of systemic interoperability may in turn limit the opportunities and benefits potentially arising from implementing novel digital heath systems. Methods We undertook n = 54 qualitative interviews with key stakeholders at nine digitally advanced hospital sites across the UK, US, Norway and the Netherlands. We included hospitals featuring ‘standalone, best of breed’ systems, which were interfaced locally, and multi-component and integrated electronic health record enterprise systems. We analysed the data inductively, looking at strategies and constraints for ePrescribing interoperability within and beyond hospital systems. Results Our thematic analysis identified 4 main drivers for increasing ePrescribing systems interoperability: (1) improving patient safety (2) improving integration & continuity of care (3) optimising care pathways and providing tailored decision support to meet local and contextualised care priorities and (4) to enable full patient care services interoperability in a variety of settings and contexts. These 4 interoperability dimensions were not always pursued equally at each implementation site, and these were often dependent on the specific national, policy, organisational or technical contexts of the ePrescribing implementations. Safety and efficiency objectives drove optimisation targeted at infrastructure and governance at all levels. Constraints to interoperability came from factors such as legacy systems, but barriers to interoperability of processes came from system capability, hospital policy and staff culture. Conclusions Achieving interoperability is key in making ePrescribing systems both safe and useable. Data resources exist at macro, meso and micro levels, as do the governance interventions necessary to achieve system interoperability. Strategic objectives, most notably improved safety, often motivated hospitals to push for evolution across the entire data architecture of which they formed a part. However, hospitals negotiated this terrain with varying degrees of centralised coordination. Hospitals were heavily reliant on staff buy-in to ensure that systems interoperability was built upon to achieve effective data sharing and use. Positive outcomes were founded on a culture of agreement about the usefulness of access by stakeholders, including prescribers, policymakers, vendors and lab technicians, which was reflected in an alignment of governance goals with system design

Oceanic evidence of climate change in southern Australia over the last three centuries

Author Posting. © American Geophysical Union, 2004. This article is posted here by permission of American Geophysical Union for personal use, not for redistribution. The definitive version was published in Geophysical Research Letters 31 (2004): L07212, doi:10.1029/2003GL018869.Chemical analysis of deepwater octocorals collected at 1000 m depth off southern Australia indicates long-term cooling, beginning in the mid-18th century. This cooling appears to reflect shoaling of isotherms along the continental shelf, that can be related statistically, observationally and by modeling to increasing coastal sea-surface temperatures, that in turn reflect a poleward extension of the SW Pacific boundary current (the East Australian Current). The oceanographic changes implied by the coral record suggest climate change in temperate Australia starting about the time of European settlement. Correlations between temperate Australian and Antarctic indices suggest these long-term changes might also be relevant to Antarctic climate.This study was supported by the Australian Fisheries and Research Development Corporation, the Australian Greenhouse Office, and the Land and Water Research Development Corporation

On the corotation torque for low-mass eccentric planets

SMF acknowledges the support of an STFC PhD studentship. The simulations presented in this paper were performed on the QMUL HPC facility purchased under the SRIF initiatives

Eggs in the Freezer: Energetic Consequences of Nest Site and Nest Design in Arctic Breeding Shorebirds

Birds construct nests for several reasons. For species that breed in the Arctic, the insulative properties of nests are very important. Incubation is costly there and due to an increasing surface to volume ratio, more so in smaller species. Small species are therefore more likely to place their nests in thermally favourable microhabitats and/or to invest more in nest insulation than large species. To test this hypothesis, we examined characteristics of nests of six Arctic breeding shorebird species. All species chose thermally favourable nesting sites in a higher proportion than expected on the basis of habitat availability. Site choice did not differ between species. Depth to frozen ground, measured near the nests, decreased in the course of the season at similar non-species-specific speeds, but this depth increased with species size. Nest cup depth and nest scrape depth (nest cup without the lining) were unrelated to body mass (we applied an exponent of 0.73, to account for metabolic activity of the differently sized species). Cup depth divided by diameter2 was used as a measure of nest cup shape. Small species had narrow and deep nests, while large species had wide shallow nests. The thickness of nest lining varied between 0.1 cm and 7.6 cm, and decreased significantly with body mass. We reconstruct the combined effect of different nest properties on the egg cooling coefficient using previously published quantitative relationships. The predicted effect of nest cup depth and lining depth on heat loss to the frozen ground did not correlate with body mass, but the sheltering effect of nest cup diameter against wind and the effects of lining material on the cooling coefficient increased with body mass. Our results suggest that small arctic shorebirds invest more in the insulation of their nests than large species

Software-sorted geographies.

This paper explores the central role of computerized code in shaping the social and geographical politics of inequality in advanced societies. The central argument is that, while such processes are necessarily multifaceted, multiscaled, complex and ambivalent, a great variety of ‘software-sorting’ techniques is now being widely applied in efforts to try to separate privileged and marginalized groups and places across a wide range of sectors and domains. This paper’s central demonstration is that the overwhelming bulk of software-sorting applications is closely associated with broader transformations from Keynesian to neoliberal service regimes. To illustrate such processes of software-sorting, the paper analyses recent research addressing three examples of software-sorting in practice. These address physical and electronic mobility systems, online geographical information systems (GIS), and face-recognition closed circuit television (CCTV) systems covering city streets. The paper finishes by identifying theoretical, research and policy implications of the diffusion of software-sorted geographies within which computerized code continually orchestrates inequalities through technological systems embedded within urban environments